This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Array Loops" that will appear in ESOP 2024</p
Artifact supplement for [1] Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Kat...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This is the artifact for the CAV 2021 paper, “Reflections on Termination of Linear Loops”. The artif...
Artifact for the paper "Taming Large Bounds in Synthesis from Bounded-Liveness Specifications" for t...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact of the paper [2103.04188] Synthesis with Asymptotic Resource Bounds (arxiv.org)...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the paper "ZDD Boolean Synthesis" submitted to TACAS 2022
This is the artifact accompanying our study of hardware-aware static optimization of hyperdimensiona...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
Artifact supplement for [1] Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Kat...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This is the artifact for the CAV 2021 paper, “Reflections on Termination of Linear Loops”. The artif...
Artifact for the paper "Taming Large Bounds in Synthesis from Bounded-Liveness Specifications" for t...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact of the paper [2103.04188] Synthesis with Asymptotic Resource Bounds (arxiv.org)...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the paper "ZDD Boolean Synthesis" submitted to TACAS 2022
This is the artifact accompanying our study of hardware-aware static optimization of hyperdimensiona...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
Artifact supplement for [1] Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Kat...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
DOI
Add to ORKG